@inproceedings{Cytron:1989:EMC:75277.75280,
 author = {Cytron, R. and Ferrante, J. and Rosen, B. K. and Wegman, M. N. and Zadeck, F. K.},
 title = {An Efficient Method of Computing Static Single Assignment Form},
 booktitle = {Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '89},
 year = {1989},
 isbn = {0-89791-294-2},
 location = {Austin, Texas, USA},
 pages = {25--35},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/75277.75280},
 doi = {10.1145/75277.75280},
 acmid = {75280},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{Cytron:1991:ECS:115372.115320,
 author = {Cytron, Ron and Ferrante, Jeanne and Rosen, Barry K. and Wegman, Mark N. and Zadeck, F. Kenneth},
 title = {Efficiently Computing Static Single Assignment Form and the Control Dependence Graph},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {Oct. 1991},
 volume = {13},
 number = {4},
 month = oct,
 year = {1991},
 issn = {0164-0925},
 pages = {451--490},
 numpages = {40},
 url = {http://doi.acm.org/10.1145/115372.115320},
 doi = {10.1145/115372.115320},
 acmid = {115320},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {control dependence, control flow graph, def-use chain, dominator, optimizing compilers},
}

@book{ansi:common:lisp,
  author = {},
  title = {INCITS 226-1994[S2008] Information Technology, Programming Language, Common Lisp},
  publisher = {American National Standards Institute},
  year = {1994},
}

@inproceedings{Damas:1982:PTF:582153.582176,
 author = {Damas, Luis and Milner, Robin},
 title = {Principal Type-schemes for Functional Programs},
 booktitle = {Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '82},
 year = {1982},
 isbn = {0-89791-065-6},
 location = {Albuquerque, New Mexico},
 pages = {207--212},
 numpages = {6},
 url = {http://doi.acm.org/10.1145/582153.582176},
 doi = {10.1145/582153.582176},
 acmid = {582176},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{Hudak:2007:HHL:1238844.1238856,
 author = {Hudak, Paul and Hughes, John and Peyton Jones, Simon and Wadler, Philip},
 title = {A History of Haskell: Being Lazy with Class},
 booktitle = {Proceedings of the Third ACM SIGPLAN Conference on History of Programming Languages},
 series = {HOPL III},
 year = {2007},
 isbn = {978-1-59593-766-7},
 location = {San Diego, California},
 pages = {12-1--12-55},
 url = {http://doi.acm.org/10.1145/1238844.1238856},
 doi = {10.1145/1238844.1238856},
 acmid = {1238856},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@book{Milner:1997:DSM:549659,
 author = {Milner, Robin and Tofte, Mads and Macqueen, David},
 title = {The  Definition of Standard ML},
 year = {1997},
 isbn = {0262631814},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
}

@inproceedings{Kildall:1973:UAG:512927.512945,
 author = {Kildall, Gary A.},
 title = {A Unified Approach to Global Program Optimization},
 booktitle = {Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages},
 series = {POPL '73},
 year = {1973},
 location = {Boston, Massachusetts},
 pages = {194--206},
 numpages = {13},
 url = {http://doi.acm.org/10.1145/512927.512945},
 doi = {10.1145/512927.512945},
 acmid = {512945},
 publisher = {ACM},
 address = {New York, NY, USA},
}